Nuprl Definition : last 11,40
last(L) == L[(||L|| - 1)] 
latex

Definitionsl[i], n - m, ||as||, #$n
FDL editor aliaseslast

origin